with well-defined